Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• System software
• Central processing unit
• ARM architecture
• Translation lookaside buffer
• Hypervisor
• Protection ring
• QEMU
• X86 virtualization
• Hyper-V
• Second Level Address Translation

Synthesizing Memory Models from Framework Sketches
 and Litmus Tests James Bornholt
 Emina Torlak

Source URL: unsat.cs.washington.edu

• Computing
• Compiler construction
• Software engineering
• Computer memory
• Concurrency
• Programming language design
• Compiler
• Programming language implementation
• Consistency model
• Memory model
• Kernel

Finding Code That Explodes under Symbolic Evaluation

Source URL: unsat.cs.washington.edu

• Computer programming
• Computing
• Software engineering
• Functional languages
• Profiling
• Software optimization
• Satisfiability modulo theories
• Symbolic execution
• Recursion
• Pure
• Lis
• Functional programming

Determinism in the Certification of UNSAT Proofs Xaviera Steele Tomer Libal American University of Paris

Source URL: pxtp.github.io

• Theoretical computer science
• Software engineering
• Mathematics
• Logic in computer science
• NP-complete problems
• Electronic design automation
• Formal methods
• Boolean algebra
• Prolog
• Logic programming
• Boolean satisfiability problem
• Sequent calculus

This space is reserved for the EPiC Series header, do not use it Beyond DRAT: Challenges in Certifying UNSAT∗ Bertram Felgenhauer University of Innsbruck

Source URL: www.cs.man.ac.uk

• Drat
• Conjunctive normal form
• Constraint programming
• Theoretical computer science
• NP-complete problems
• Logic in computer science

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

Source URL: unsat.cs.washington.edu

• Formal methods
• Theoretical computer science
• Automation
• Safety case
• Embedded system
• Electromagnetism
• Computing
• Carbon nanotubes
• Electrical engineering

Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak

Source URL: unsat.cs.washington.edu

• Mathematical logic
• Model theory
• Metalogic
• Mathematics
• First-order logic
• Relational algebra
• FO
• Structure
• Relational
• Interpretation
• Computation tree logic

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Verification
• Technology
• Refinement
• Specification
• File system
• Evaluation
• Business

Fake review Vazire, S., Mehl, MKnowing me, knowing you: The accuracy and unique predictive validity of Self-Ratings and Other-Ratings of daily behavior Linus Neumann The article addresses the old, but yet unsat

Source URL: files.linus-neumann.de

• Psychology
• Behavioural sciences
• Behavior
• Personality traits
• Personality
• Extraversion and introversion
• Personality psychology
• Recommender system

REGISTRATION FORM TO BE SENT BEFORE 9 SEPTEMBER (1 FORM PER PERSON) Ponts Formation Conseil/E-UNSAT, rue de la Fontaine au RoiPARIS Cedex 11 - France

Source URL: eunsat2016.sciencesconf.org